4m.p.jones-Descriptionsymboltype-Kindk;:::kindtypeconstructortc;:::tycontypevariablev;:::tyvar{` Xed'f;:::{`generic'g;:::typet;:::typeclassc;:::classinstanceit;:::instpredicatep;q;:::pred{`deferred'd; published presentations and documents on DocSlides.
